How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🎯Performance Proofs
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·21h
🕸️Network Topology
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·7h·
Discuss: Substack
🔗Topological Sorting
International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·1d
🔗Combinatory Logic
Sets & Heaps in Haskell and Rust
mmhaskell.com·17h
🔒Type Safety
FLINT: Fast Library for Number Theory
flintlib.org·7h
🧮Algebraic Datatypes
Notes on Autograd
aschrein.github.io·6h·
Discuss: Hacker News
⚡Incremental Computation
Supervised Learning: A Focus on Classification
dev.to·20h·
Discuss: DEV
🧠Machine Learning
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·14h
🤝Paxos Consensus
Enclosures that minimize the sum of area and perimeter
11011110.github.io·7h
📊Computational Geometry
Fast and Accurate RFIC Performance Prediction via Pin Level Graph Neural Networks and Probabilistic Flow
arxiv.org·21h
🧠Machine Learning
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·9h
📐Mathematical Art
Teaching programming languages
kmjn.org·13h
💻Programming languages
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·3h
🎯Performance Proofs
Improving Search for Deep Research Agents
vishnudut.com·4h·
Discuss: Hacker News
🧠Query Planners
Global Mathematics Lecture IV, Kyoto University
freakonometrics.hypotheses.org·1d
🌀Differential Geometry
Sound and Solution-Complete CCBS
arxiv.org·21h
🛡️Archive Verification
Song recommendations with F# free monads
blog.ploeh.dk·18h
🔗Functional Compilers
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·10h·
Discuss: Hacker News
🌳Archive Merkle Trees
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·3h·
Discuss: r/kubernetes
📦Container Security